Lógica e inducción matemática

 Descripción: En esta unidad se exponen los conceptos básicos de lógica matemática. Se definen proposiciones abiertas y cerradas y los conectivos lógicos en proposiciones compuestas. Se establecen las proposiciones condicionales y bicondicionales, así como los conceptos de implicación y doble implicación. Se aborda el concepto de tabla de verdad y de tautología. También se hace mención a los métodos de demostración. Se expone y se explica el método de por inducción matemática para demostrar expresiones.